由推论 1 即得.